Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
661	CS 170 Algorithms Spring 2009 Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2009-05-04 23:56:17 Complexity classes NP-complete problems Boolean algebra Electronic design automation Formal methods Boolean satisfiability problem Conjunctive normal form NP-complete Canonical form Theoretical computer science Mathematics Applied mathematics
662	BRICS Basic Research in Computer Science BRICS RS-99-8 Havelund et al.: Formal Verification of a Power Controller Using UPPAAL Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-07-01 10:19:37 Embedded system Transmission Control Protocol Computer architecture Interrupts Interrupt
663	CV Wouter Huygen Partner MIcompany Ir. Wouter Huygenis Partner of MIcompany since FebruaryPreviously he spent 8 years at Booz & Company (now Strategy&) where he gained extensive experience in supporting la Add to Reading List Source URL: www.micompany.nl Language: English - Date: 2015-02-02 11:07:06 Academia Formal sciences INSEAD Management education Management science Analytics Innovation Delft University of Technology Booz & Company Knowledge Management Business intelligence
664	Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-08 01:07:27 Computer science Rajeev Alur Formal sciences Automata theory Model checking IEEE Symposium on Logic in Computer Science Formal methods Formal verification Symposium on Theory of Computing Theoretical computer science Applied mathematics Logic in computer science
665	THE COST OF REPAIRS Gabriele Puppis LaBRI / CNRS based on joint works with Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2015-02-23 23:15:04 Formal languages Applied mathematics Computer science Finite-state machine Finite state transducer Automata theory Models of computation Theoretical computer science
666	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
667	Director, Institute for IT Innovation Add to Reading List Source URL: unnext.unescap.org Language: English - Date: 2014-01-16 02:30:01 Science Information technology management Formal methods Project management Software development process
668	From Monadic Second-Order Definable String Transformations to Transducers Rajeev Alur Antoine Durand-Gasselin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 12:28:54 Theoretical computer science Models of computation Combinatorics on words Logic Finite state transducer Semigroup theory String Model theory Regular language Formal languages Automata theory Mathematics
669	The Dutch data landscape in 32 interviews and a survey Table of contents 1. Introduction Add to Reading List Source URL: dans.knaw.nl Language: English Scientific method Formal sciences Climatology Data sharing Environmental science Scientific misconduct Open access Open data Research Technology Science Knowledge
670	American Economic Review 101 (June 2011): 1211–1237 http://www.aeaweb.org/articles.php?doi=aerParticipation By Gary Charness and Martin Dufwenberg* We show experimentally that whether and how commun Add to Reading List Source URL: www.u.arizona.edu Language: English - Date: 2011-10-06 13:11:38 Game theory Agent Science Academia Knowledge Formal sciences Artificial intelligence Economics

UPDATE